<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html lang="en">
<head>
<title>Source code</title>
<link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
</head>
<body>
<div class="sourceContainer">
<pre><span class="sourceLineNo">001</span><a name="line.1"></a>
<span class="sourceLineNo">002</span>/*<a name="line.2"></a>
<span class="sourceLineNo">003</span> * Copyright (C) 2014 Archie L. Cobbs. All rights reserved.<a name="line.3"></a>
<span class="sourceLineNo">004</span> *<a name="line.4"></a>
<span class="sourceLineNo">005</span> * $Id: RaftKVTransaction.html 939 2015-05-29 01:16:17Z archie.cobbs $<a name="line.5"></a>
<span class="sourceLineNo">006</span> */<a name="line.6"></a>
<span class="sourceLineNo">007</span><a name="line.7"></a>
<span class="sourceLineNo">008</span>package org.jsimpledb.kv.raft;<a name="line.8"></a>
<span class="sourceLineNo">009</span><a name="line.9"></a>
<span class="sourceLineNo">010</span>import com.google.common.base.Preconditions;<a name="line.10"></a>
<span class="sourceLineNo">011</span><a name="line.11"></a>
<span class="sourceLineNo">012</span>import java.io.Closeable;<a name="line.12"></a>
<span class="sourceLineNo">013</span>import java.util.Arrays;<a name="line.13"></a>
<span class="sourceLineNo">014</span>import java.util.concurrent.Callable;<a name="line.14"></a>
<span class="sourceLineNo">015</span>import java.util.concurrent.FutureTask;<a name="line.15"></a>
<span class="sourceLineNo">016</span>import java.util.concurrent.atomic.AtomicLong;<a name="line.16"></a>
<span class="sourceLineNo">017</span><a name="line.17"></a>
<span class="sourceLineNo">018</span>import org.jsimpledb.kv.CloseableKVStore;<a name="line.18"></a>
<span class="sourceLineNo">019</span>import org.jsimpledb.kv.KVStore;<a name="line.19"></a>
<span class="sourceLineNo">020</span>import org.jsimpledb.kv.KVTransaction;<a name="line.20"></a>
<span class="sourceLineNo">021</span>import org.jsimpledb.kv.StaleTransactionException;<a name="line.21"></a>
<span class="sourceLineNo">022</span>import org.jsimpledb.kv.mvcc.MutableView;<a name="line.22"></a>
<span class="sourceLineNo">023</span>import org.jsimpledb.kv.util.ForwardingKVStore;<a name="line.23"></a>
<span class="sourceLineNo">024</span>import org.slf4j.Logger;<a name="line.24"></a>
<span class="sourceLineNo">025</span>import org.slf4j.LoggerFactory;<a name="line.25"></a>
<span class="sourceLineNo">026</span><a name="line.26"></a>
<span class="sourceLineNo">027</span>/**<a name="line.27"></a>
<span class="sourceLineNo">028</span> * {@link RaftKVDatabase} transaction.<a name="line.28"></a>
<span class="sourceLineNo">029</span> */<a name="line.29"></a>
<span class="sourceLineNo">030</span>public class RaftKVTransaction extends ForwardingKVStore implements KVTransaction, Closeable {<a name="line.30"></a>
<span class="sourceLineNo">031</span><a name="line.31"></a>
<span class="sourceLineNo">032</span>    private static final AtomicLong COUNTER = new AtomicLong();                 // provides unique transaction ID numbers<a name="line.32"></a>
<span class="sourceLineNo">033</span><a name="line.33"></a>
<span class="sourceLineNo">034</span>    private final Logger log = LoggerFactory.getLogger(this.getClass());<a name="line.34"></a>
<span class="sourceLineNo">035</span><a name="line.35"></a>
<span class="sourceLineNo">036</span>    // Transaction info<a name="line.36"></a>
<span class="sourceLineNo">037</span>    private final long txId = COUNTER.incrementAndGet();<a name="line.37"></a>
<span class="sourceLineNo">038</span>    private final CommitFuture commitFuture = new CommitFuture();<a name="line.38"></a>
<span class="sourceLineNo">039</span>    private final RaftKVDatabase kvdb;<a name="line.39"></a>
<span class="sourceLineNo">040</span>    private CloseableKVStore snapshot;                  // snapshot of the committed key/value store<a name="line.40"></a>
<span class="sourceLineNo">041</span>    private final MutableView view;                     // transaction's view of key/value store (restricted to prefix)<a name="line.41"></a>
<span class="sourceLineNo">042</span>    private final long baseTerm;                        // term of the log entry on which this transaction is based<a name="line.42"></a>
<span class="sourceLineNo">043</span>    private final long baseIndex;                       // index of the log entry on which this transaction is based<a name="line.43"></a>
<span class="sourceLineNo">044</span><a name="line.44"></a>
<span class="sourceLineNo">045</span>    private volatile TxState state = TxState.EXECUTING;<a name="line.45"></a>
<span class="sourceLineNo">046</span>    private volatile boolean readOnlySnapshot;<a name="line.46"></a>
<span class="sourceLineNo">047</span>    private volatile int timeout;<a name="line.47"></a>
<span class="sourceLineNo">048</span>    private volatile String[] configChange;             // cluster config change associated with this transaction<a name="line.48"></a>
<span class="sourceLineNo">049</span>    private RaftKVDatabase.Timer commitTimer;<a name="line.49"></a>
<span class="sourceLineNo">050</span>    private long commitTerm;                            // term of the log entry representing this transaction's commit<a name="line.50"></a>
<span class="sourceLineNo">051</span>    private long commitIndex;                           // index of the log entry representing this transaction's commit<a name="line.51"></a>
<span class="sourceLineNo">052</span><a name="line.52"></a>
<span class="sourceLineNo">053</span>    /**<a name="line.53"></a>
<span class="sourceLineNo">054</span>     * Constructor.<a name="line.54"></a>
<span class="sourceLineNo">055</span>     *<a name="line.55"></a>
<span class="sourceLineNo">056</span>     * @param kvdb associated database<a name="line.56"></a>
<span class="sourceLineNo">057</span>     * @param baseTerm term of the Raft log entry on which this transaction is based<a name="line.57"></a>
<span class="sourceLineNo">058</span>     * @param baseIndex index of the Raft log entry on which this transaction is based<a name="line.58"></a>
<span class="sourceLineNo">059</span>     * @param snapshot underlying state machine snapshot; will be closed with this instance<a name="line.59"></a>
<span class="sourceLineNo">060</span>     * @param view this transaction's view of the (prefixed) key/value store<a name="line.60"></a>
<span class="sourceLineNo">061</span>     */<a name="line.61"></a>
<span class="sourceLineNo">062</span>    RaftKVTransaction(RaftKVDatabase kvdb, long baseTerm, long baseIndex, CloseableKVStore snapshot, MutableView view) {<a name="line.62"></a>
<span class="sourceLineNo">063</span>        this.kvdb = kvdb;<a name="line.63"></a>
<span class="sourceLineNo">064</span>        this.baseTerm = baseTerm;<a name="line.64"></a>
<span class="sourceLineNo">065</span>        this.baseIndex = baseIndex;<a name="line.65"></a>
<span class="sourceLineNo">066</span>        this.snapshot = snapshot;<a name="line.66"></a>
<span class="sourceLineNo">067</span>        this.view = view;<a name="line.67"></a>
<span class="sourceLineNo">068</span>    }<a name="line.68"></a>
<span class="sourceLineNo">069</span><a name="line.69"></a>
<span class="sourceLineNo">070</span>// Properties<a name="line.70"></a>
<span class="sourceLineNo">071</span><a name="line.71"></a>
<span class="sourceLineNo">072</span>    /**<a name="line.72"></a>
<span class="sourceLineNo">073</span>     * Get the term of the log entry on which this transaction is based.<a name="line.73"></a>
<span class="sourceLineNo">074</span>     *<a name="line.74"></a>
<span class="sourceLineNo">075</span>     * @return associated base log term<a name="line.75"></a>
<span class="sourceLineNo">076</span>     */<a name="line.76"></a>
<span class="sourceLineNo">077</span>    public long getBaseTerm() {<a name="line.77"></a>
<span class="sourceLineNo">078</span>        return this.baseTerm;<a name="line.78"></a>
<span class="sourceLineNo">079</span>    }<a name="line.79"></a>
<span class="sourceLineNo">080</span><a name="line.80"></a>
<span class="sourceLineNo">081</span>    /**<a name="line.81"></a>
<span class="sourceLineNo">082</span>     * Get the index of the log entry on which this transaction is based.<a name="line.82"></a>
<span class="sourceLineNo">083</span>     *<a name="line.83"></a>
<span class="sourceLineNo">084</span>     * @return associated base log index<a name="line.84"></a>
<span class="sourceLineNo">085</span>     */<a name="line.85"></a>
<span class="sourceLineNo">086</span>    public long getBaseIndex() {<a name="line.86"></a>
<span class="sourceLineNo">087</span>        return this.baseIndex;<a name="line.87"></a>
<span class="sourceLineNo">088</span>    }<a name="line.88"></a>
<span class="sourceLineNo">089</span><a name="line.89"></a>
<span class="sourceLineNo">090</span>    /**<a name="line.90"></a>
<span class="sourceLineNo">091</span>     * Configure whether to reduce the isolation guarantees for this transaction from linearizable consistency<a name="line.91"></a>
<span class="sourceLineNo">092</span>     * to read-only, "stale snapshot" consistency (technically, serializable consistency).<a name="line.92"></a>
<span class="sourceLineNo">093</span>     *<a name="line.93"></a>
<span class="sourceLineNo">094</span>     * &lt;p&gt;<a name="line.94"></a>
<span class="sourceLineNo">095</span>     * If so configured, this transaction guarantees a consistent, read-only view of the database as it existed<a name="line.95"></a>
<span class="sourceLineNo">096</span>     * at some point in the "recent past". The view is not guaranteed to be up-to-date; it's only guaranteed<a name="line.96"></a>
<span class="sourceLineNo">097</span>     * to be as up-to-date as is known to this node when the transaction was opened. For example, it will be<a name="line.97"></a>
<span class="sourceLineNo">098</span>     * at least as up to date as the most recently committed normal (linearizable) transaction on this node.<a name="line.98"></a>
<span class="sourceLineNo">099</span>     * However, in general (for example, if stuck in a network partition minority), the snapshot could be arbitrarily<a name="line.99"></a>
<span class="sourceLineNo">100</span>     * far in the past.<a name="line.100"></a>
<span class="sourceLineNo">101</span>     *<a name="line.101"></a>
<span class="sourceLineNo">102</span>     * &lt;p&gt;<a name="line.102"></a>
<span class="sourceLineNo">103</span>     * This setting may be modified freely during a transaction; it only determines behavior at {@link #commit} time.<a name="line.103"></a>
<span class="sourceLineNo">104</span>     * If set:<a name="line.104"></a>
<span class="sourceLineNo">105</span>     *  &lt;ul&gt;<a name="line.105"></a>
<span class="sourceLineNo">106</span>     *  &lt;li&gt;The transaction will be read-only: modifications will be allowed (and reflected in subsequent reads),<a name="line.106"></a>
<span class="sourceLineNo">107</span>     *      but they will be discarded on {@link #commit}.&lt;/li&gt;<a name="line.107"></a>
<span class="sourceLineNo">108</span>     *  &lt;li&gt;The {@link #commit} operation will be faster, and possibly not require any network traffic at all.&lt;/li&gt;<a name="line.108"></a>
<span class="sourceLineNo">109</span>     *  &lt;/ul&gt;<a name="line.109"></a>
<span class="sourceLineNo">110</span>     *<a name="line.110"></a>
<span class="sourceLineNo">111</span>     * @param readOnlySnapshot true for snapshot isolation, false for normal linearizable ACID semantics<a name="line.111"></a>
<span class="sourceLineNo">112</span>     * @see &lt;a href="https://aphyr.com/posts/313-strong-consistency-models"&gt;Strong consistency models&lt;/a&gt;<a name="line.112"></a>
<span class="sourceLineNo">113</span>     */<a name="line.113"></a>
<span class="sourceLineNo">114</span>    public void setReadOnlySnapshot(boolean readOnlySnapshot) {<a name="line.114"></a>
<span class="sourceLineNo">115</span>        this.readOnlySnapshot = readOnlySnapshot;<a name="line.115"></a>
<span class="sourceLineNo">116</span>    }<a name="line.116"></a>
<span class="sourceLineNo">117</span><a name="line.117"></a>
<span class="sourceLineNo">118</span>    /**<a name="line.118"></a>
<span class="sourceLineNo">119</span>     * Determine whether this instance is configured for read-only, snapshot isolation.<a name="line.119"></a>
<span class="sourceLineNo">120</span>     *<a name="line.120"></a>
<span class="sourceLineNo">121</span>     * @return true if this instance is configured for snapshot isolation<a name="line.121"></a>
<span class="sourceLineNo">122</span>     * @see #setReadOnlySnapshot<a name="line.122"></a>
<span class="sourceLineNo">123</span>     */<a name="line.123"></a>
<span class="sourceLineNo">124</span>    public boolean isReadOnlySnapshot() {<a name="line.124"></a>
<span class="sourceLineNo">125</span>        return this.readOnlySnapshot;<a name="line.125"></a>
<span class="sourceLineNo">126</span>    }<a name="line.126"></a>
<span class="sourceLineNo">127</span><a name="line.127"></a>
<span class="sourceLineNo">128</span>// Configuration Stuff<a name="line.128"></a>
<span class="sourceLineNo">129</span><a name="line.129"></a>
<span class="sourceLineNo">130</span>    /**<a name="line.130"></a>
<span class="sourceLineNo">131</span>     * Include a cluster configuration change when this transaction is committed.<a name="line.131"></a>
<span class="sourceLineNo">132</span>     *<a name="line.132"></a>
<span class="sourceLineNo">133</span>     * &lt;p&gt;<a name="line.133"></a>
<span class="sourceLineNo">134</span>     * The change will have been applied once this transaction is successfully committed.<a name="line.134"></a>
<span class="sourceLineNo">135</span>     *<a name="line.135"></a>
<span class="sourceLineNo">136</span>     * &lt;p&gt;<a name="line.136"></a>
<span class="sourceLineNo">137</span>     * Raft supports configuration changes that add or remove one node at a time to/from the cluster.<a name="line.137"></a>
<span class="sourceLineNo">138</span>     * If this method is invoked more than once in a single transaction, all but the last invocation are ignored.<a name="line.138"></a>
<span class="sourceLineNo">139</span>     *<a name="line.139"></a>
<span class="sourceLineNo">140</span>     * &lt;p&gt;<a name="line.140"></a>
<span class="sourceLineNo">141</span>     * Initially, nodes are &lt;i&gt;unconfigured&lt;/i&gt;. An unconfigured node becomes configured in one of two ways:<a name="line.141"></a>
<span class="sourceLineNo">142</span>     * &lt;ul&gt;<a name="line.142"></a>
<span class="sourceLineNo">143</span>     *  &lt;li&gt;By receiving a message from a leader of some existing cluster, in which case the node joins that cluster<a name="line.143"></a>
<span class="sourceLineNo">144</span>     *      based on the provided configuration; or&lt;/li&gt;<a name="line.144"></a>
<span class="sourceLineNo">145</span>     *  &lt;li&gt;By this method being invoked with {@code identity} equal to this node's identity and a non-null {@code address},<a name="line.145"></a>
<span class="sourceLineNo">146</span>     *      which creates a new cluster and adds this node to it.&lt;/li&gt;<a name="line.146"></a>
<span class="sourceLineNo">147</span>     * &lt;/ul&gt;<a name="line.147"></a>
<span class="sourceLineNo">148</span>     * Therefore, this method must be used to intialize a new cluster.<a name="line.148"></a>
<span class="sourceLineNo">149</span>     *<a name="line.149"></a>
<span class="sourceLineNo">150</span>     * @param identity the identity of the node to add or remove<a name="line.150"></a>
<span class="sourceLineNo">151</span>     * @param address the network address of the node if adding, or null if removing<a name="line.151"></a>
<span class="sourceLineNo">152</span>     * @throws IllegalArgumentException if {@code identity} is null<a name="line.152"></a>
<span class="sourceLineNo">153</span>     */<a name="line.153"></a>
<span class="sourceLineNo">154</span>    public void configChange(String identity, String address) {<a name="line.154"></a>
<span class="sourceLineNo">155</span><a name="line.155"></a>
<span class="sourceLineNo">156</span>        // Sanity check<a name="line.156"></a>
<span class="sourceLineNo">157</span>        Preconditions.checkArgument(identity != null, "null identity");<a name="line.157"></a>
<span class="sourceLineNo">158</span>        if (!this.state.equals(TxState.EXECUTING))<a name="line.158"></a>
<span class="sourceLineNo">159</span>            throw new StaleTransactionException(this);<a name="line.159"></a>
<span class="sourceLineNo">160</span><a name="line.160"></a>
<span class="sourceLineNo">161</span>        // Set config change<a name="line.161"></a>
<span class="sourceLineNo">162</span>        this.configChange = new String[] { identity, address };<a name="line.162"></a>
<span class="sourceLineNo">163</span>    }<a name="line.163"></a>
<span class="sourceLineNo">164</span><a name="line.164"></a>
<span class="sourceLineNo">165</span>// ForwardingKVStore<a name="line.165"></a>
<span class="sourceLineNo">166</span><a name="line.166"></a>
<span class="sourceLineNo">167</span>    @Override<a name="line.167"></a>
<span class="sourceLineNo">168</span>    protected KVStore delegate() {<a name="line.168"></a>
<span class="sourceLineNo">169</span>        if (!this.state.equals(TxState.EXECUTING))<a name="line.169"></a>
<span class="sourceLineNo">170</span>            throw new StaleTransactionException(this);<a name="line.170"></a>
<span class="sourceLineNo">171</span>        return this.view;<a name="line.171"></a>
<span class="sourceLineNo">172</span>    }<a name="line.172"></a>
<span class="sourceLineNo">173</span><a name="line.173"></a>
<span class="sourceLineNo">174</span>// KVTransaction<a name="line.174"></a>
<span class="sourceLineNo">175</span><a name="line.175"></a>
<span class="sourceLineNo">176</span>    @Override<a name="line.176"></a>
<span class="sourceLineNo">177</span>    public RaftKVDatabase getKVDatabase() {<a name="line.177"></a>
<span class="sourceLineNo">178</span>        return this.kvdb;<a name="line.178"></a>
<span class="sourceLineNo">179</span>    }<a name="line.179"></a>
<span class="sourceLineNo">180</span><a name="line.180"></a>
<span class="sourceLineNo">181</span>    /**<a name="line.181"></a>
<span class="sourceLineNo">182</span>     * Set the commit timeout for this instance.<a name="line.182"></a>
<span class="sourceLineNo">183</span>     *<a name="line.183"></a>
<span class="sourceLineNo">184</span>     * &lt;p&gt;<a name="line.184"></a>
<span class="sourceLineNo">185</span>     * {@link RaftKVTransaction}s do not block while the transaction is open; the configured value is used<a name="line.185"></a>
<span class="sourceLineNo">186</span>     * as a timeout for the {@link #commit} operation only. If {@link #commit} takes longer than {@code timeout}<a name="line.186"></a>
<span class="sourceLineNo">187</span>     * milliseconds, a {@link org.jsimpledb.kv.RetryTransactionException} is thrown.<a name="line.187"></a>
<span class="sourceLineNo">188</span>     *<a name="line.188"></a>
<span class="sourceLineNo">189</span>     * &lt;p&gt;<a name="line.189"></a>
<span class="sourceLineNo">190</span>     * The default value for all transactions is configured by {@link RaftKVDatabase#setCommitTimeout}.<a name="line.190"></a>
<span class="sourceLineNo">191</span>     *<a name="line.191"></a>
<span class="sourceLineNo">192</span>     * @param timeout transaction commit timeout in milliseconds, or zero for unlimited<a name="line.192"></a>
<span class="sourceLineNo">193</span>     * @throws IllegalArgumentException if {@code timeout} is negative<a name="line.193"></a>
<span class="sourceLineNo">194</span>     */<a name="line.194"></a>
<span class="sourceLineNo">195</span>    @Override<a name="line.195"></a>
<span class="sourceLineNo">196</span>    public void setTimeout(long timeout) {<a name="line.196"></a>
<span class="sourceLineNo">197</span>        if (timeout &lt; 0)<a name="line.197"></a>
<span class="sourceLineNo">198</span>            throw new IllegalArgumentException("timeout &lt; 0");<a name="line.198"></a>
<span class="sourceLineNo">199</span>        this.timeout = (int)Math.min(timeout, Integer.MAX_VALUE);<a name="line.199"></a>
<span class="sourceLineNo">200</span>    }<a name="line.200"></a>
<span class="sourceLineNo">201</span><a name="line.201"></a>
<span class="sourceLineNo">202</span>    @Override<a name="line.202"></a>
<span class="sourceLineNo">203</span>    public void commit() {<a name="line.203"></a>
<span class="sourceLineNo">204</span>        this.kvdb.commit(this);<a name="line.204"></a>
<span class="sourceLineNo">205</span>    }<a name="line.205"></a>
<span class="sourceLineNo">206</span><a name="line.206"></a>
<span class="sourceLineNo">207</span>    @Override<a name="line.207"></a>
<span class="sourceLineNo">208</span>    public void rollback() {<a name="line.208"></a>
<span class="sourceLineNo">209</span>        this.kvdb.rollback(this);<a name="line.209"></a>
<span class="sourceLineNo">210</span>    }<a name="line.210"></a>
<span class="sourceLineNo">211</span><a name="line.211"></a>
<span class="sourceLineNo">212</span>// Package-access methods<a name="line.212"></a>
<span class="sourceLineNo">213</span><a name="line.213"></a>
<span class="sourceLineNo">214</span>    long getTxId() {<a name="line.214"></a>
<span class="sourceLineNo">215</span>        return this.txId;<a name="line.215"></a>
<span class="sourceLineNo">216</span>    }<a name="line.216"></a>
<span class="sourceLineNo">217</span><a name="line.217"></a>
<span class="sourceLineNo">218</span>    int getTimeout() {<a name="line.218"></a>
<span class="sourceLineNo">219</span>        return this.timeout;<a name="line.219"></a>
<span class="sourceLineNo">220</span>    }<a name="line.220"></a>
<span class="sourceLineNo">221</span><a name="line.221"></a>
<span class="sourceLineNo">222</span>    String[] getConfigChange() {<a name="line.222"></a>
<span class="sourceLineNo">223</span>        return this.configChange;<a name="line.223"></a>
<span class="sourceLineNo">224</span>    }<a name="line.224"></a>
<span class="sourceLineNo">225</span><a name="line.225"></a>
<span class="sourceLineNo">226</span>    CommitFuture getCommitFuture() {<a name="line.226"></a>
<span class="sourceLineNo">227</span>        return this.commitFuture;<a name="line.227"></a>
<span class="sourceLineNo">228</span>    }<a name="line.228"></a>
<span class="sourceLineNo">229</span><a name="line.229"></a>
<span class="sourceLineNo">230</span>    MutableView getMutableView() {<a name="line.230"></a>
<span class="sourceLineNo">231</span>        return this.view;<a name="line.231"></a>
<span class="sourceLineNo">232</span>    }<a name="line.232"></a>
<span class="sourceLineNo">233</span><a name="line.233"></a>
<span class="sourceLineNo">234</span>    TxState getState() {<a name="line.234"></a>
<span class="sourceLineNo">235</span>        return this.state;<a name="line.235"></a>
<span class="sourceLineNo">236</span>    }<a name="line.236"></a>
<span class="sourceLineNo">237</span>    void setState(TxState state) {<a name="line.237"></a>
<span class="sourceLineNo">238</span>        this.state = state;<a name="line.238"></a>
<span class="sourceLineNo">239</span>    }<a name="line.239"></a>
<span class="sourceLineNo">240</span><a name="line.240"></a>
<span class="sourceLineNo">241</span>    RaftKVDatabase.Timer getCommitTimer() {<a name="line.241"></a>
<span class="sourceLineNo">242</span>        return this.commitTimer;<a name="line.242"></a>
<span class="sourceLineNo">243</span>    }<a name="line.243"></a>
<span class="sourceLineNo">244</span>    void setCommitTimer(RaftKVDatabase.Timer commitTimer) {<a name="line.244"></a>
<span class="sourceLineNo">245</span>        this.commitTimer = commitTimer;<a name="line.245"></a>
<span class="sourceLineNo">246</span>    }<a name="line.246"></a>
<span class="sourceLineNo">247</span><a name="line.247"></a>
<span class="sourceLineNo">248</span>    long getCommitTerm() {<a name="line.248"></a>
<span class="sourceLineNo">249</span>        return this.commitTerm;<a name="line.249"></a>
<span class="sourceLineNo">250</span>    }<a name="line.250"></a>
<span class="sourceLineNo">251</span>    void setCommitTerm(long commitTerm) {<a name="line.251"></a>
<span class="sourceLineNo">252</span>        this.commitTerm = commitTerm;<a name="line.252"></a>
<span class="sourceLineNo">253</span>    }<a name="line.253"></a>
<span class="sourceLineNo">254</span><a name="line.254"></a>
<span class="sourceLineNo">255</span>    long getCommitIndex() {<a name="line.255"></a>
<span class="sourceLineNo">256</span>        return this.commitIndex;<a name="line.256"></a>
<span class="sourceLineNo">257</span>    }<a name="line.257"></a>
<span class="sourceLineNo">258</span>    void setCommitIndex(long commitIndex) {<a name="line.258"></a>
<span class="sourceLineNo">259</span>        this.commitIndex = commitIndex;<a name="line.259"></a>
<span class="sourceLineNo">260</span>    }<a name="line.260"></a>
<span class="sourceLineNo">261</span><a name="line.261"></a>
<span class="sourceLineNo">262</span>    void closeSnapshot() {<a name="line.262"></a>
<span class="sourceLineNo">263</span>        if (this.snapshot != null) {<a name="line.263"></a>
<span class="sourceLineNo">264</span>            this.snapshot.close();<a name="line.264"></a>
<span class="sourceLineNo">265</span>            this.snapshot = null;<a name="line.265"></a>
<span class="sourceLineNo">266</span>        }<a name="line.266"></a>
<span class="sourceLineNo">267</span>    }<a name="line.267"></a>
<span class="sourceLineNo">268</span><a name="line.268"></a>
<span class="sourceLineNo">269</span>// Closeable<a name="line.269"></a>
<span class="sourceLineNo">270</span><a name="line.270"></a>
<span class="sourceLineNo">271</span>    @Override<a name="line.271"></a>
<span class="sourceLineNo">272</span>    public void close() {<a name="line.272"></a>
<span class="sourceLineNo">273</span>        this.rollback();<a name="line.273"></a>
<span class="sourceLineNo">274</span>    }<a name="line.274"></a>
<span class="sourceLineNo">275</span><a name="line.275"></a>
<span class="sourceLineNo">276</span>// Object<a name="line.276"></a>
<span class="sourceLineNo">277</span><a name="line.277"></a>
<span class="sourceLineNo">278</span>    @Override<a name="line.278"></a>
<span class="sourceLineNo">279</span>    public String toString() {<a name="line.279"></a>
<span class="sourceLineNo">280</span>        return this.getClass().getSimpleName()<a name="line.280"></a>
<span class="sourceLineNo">281</span>          + "[txId=" + this.txId<a name="line.281"></a>
<span class="sourceLineNo">282</span>          + ",state=" + this.state<a name="line.282"></a>
<span class="sourceLineNo">283</span>          + ",base=" + this.baseTerm + "/" + this.baseIndex<a name="line.283"></a>
<span class="sourceLineNo">284</span>          + (this.configChange != null ? ",configChange=" + Arrays.&lt;String&gt;asList(this.configChange) : "")<a name="line.284"></a>
<span class="sourceLineNo">285</span>          + (this.state.compareTo(TxState.COMMIT_WAITING) &gt;= 0 ? ",commit=" + this.commitTerm + "/" + this.commitIndex : "")<a name="line.285"></a>
<span class="sourceLineNo">286</span>          + (this.timeout != 0 ? ",timeout=" + this.timeout : "")<a name="line.286"></a>
<span class="sourceLineNo">287</span>          + "]";<a name="line.287"></a>
<span class="sourceLineNo">288</span>    }<a name="line.288"></a>
<span class="sourceLineNo">289</span><a name="line.289"></a>
<span class="sourceLineNo">290</span>    @Override<a name="line.290"></a>
<span class="sourceLineNo">291</span>    protected void finalize() throws Throwable {<a name="line.291"></a>
<span class="sourceLineNo">292</span>        try {<a name="line.292"></a>
<span class="sourceLineNo">293</span>            if (!TxState.CLOSED.equals(this.state))<a name="line.293"></a>
<span class="sourceLineNo">294</span>               this.log.warn(this + " leaked without commit() or rollback()");<a name="line.294"></a>
<span class="sourceLineNo">295</span>            this.close();<a name="line.295"></a>
<span class="sourceLineNo">296</span>        } finally {<a name="line.296"></a>
<span class="sourceLineNo">297</span>            super.finalize();<a name="line.297"></a>
<span class="sourceLineNo">298</span>        }<a name="line.298"></a>
<span class="sourceLineNo">299</span>    }<a name="line.299"></a>
<span class="sourceLineNo">300</span><a name="line.300"></a>
<span class="sourceLineNo">301</span>// CommitFuture<a name="line.301"></a>
<span class="sourceLineNo">302</span><a name="line.302"></a>
<span class="sourceLineNo">303</span>    static class CommitFuture extends FutureTask&lt;Void&gt; {<a name="line.303"></a>
<span class="sourceLineNo">304</span><a name="line.304"></a>
<span class="sourceLineNo">305</span>        private final ExceptionCallable callable;<a name="line.305"></a>
<span class="sourceLineNo">306</span><a name="line.306"></a>
<span class="sourceLineNo">307</span>        public CommitFuture() {<a name="line.307"></a>
<span class="sourceLineNo">308</span>            this(new ExceptionCallable());<a name="line.308"></a>
<span class="sourceLineNo">309</span>        }<a name="line.309"></a>
<span class="sourceLineNo">310</span><a name="line.310"></a>
<span class="sourceLineNo">311</span>        CommitFuture(ExceptionCallable callable) {<a name="line.311"></a>
<span class="sourceLineNo">312</span>            super(callable);<a name="line.312"></a>
<span class="sourceLineNo">313</span>            this.callable = callable;<a name="line.313"></a>
<span class="sourceLineNo">314</span>        }<a name="line.314"></a>
<span class="sourceLineNo">315</span><a name="line.315"></a>
<span class="sourceLineNo">316</span>        public void succeed() {<a name="line.316"></a>
<span class="sourceLineNo">317</span>            Preconditions.checkState(!this.isDone(), "already done");<a name="line.317"></a>
<span class="sourceLineNo">318</span>            this.run();<a name="line.318"></a>
<span class="sourceLineNo">319</span>        }<a name="line.319"></a>
<span class="sourceLineNo">320</span><a name="line.320"></a>
<span class="sourceLineNo">321</span>        public void fail(Exception e) {<a name="line.321"></a>
<span class="sourceLineNo">322</span>            Preconditions.checkState(!this.isDone(), "already done");<a name="line.322"></a>
<span class="sourceLineNo">323</span>            this.callable.setException(e);<a name="line.323"></a>
<span class="sourceLineNo">324</span>            this.run();<a name="line.324"></a>
<span class="sourceLineNo">325</span>        }<a name="line.325"></a>
<span class="sourceLineNo">326</span>    }<a name="line.326"></a>
<span class="sourceLineNo">327</span><a name="line.327"></a>
<span class="sourceLineNo">328</span>    private static class ExceptionCallable implements Callable&lt;Void&gt; {<a name="line.328"></a>
<span class="sourceLineNo">329</span><a name="line.329"></a>
<span class="sourceLineNo">330</span>        private volatile Exception e;<a name="line.330"></a>
<span class="sourceLineNo">331</span><a name="line.331"></a>
<span class="sourceLineNo">332</span>        public void setException(Exception e) {<a name="line.332"></a>
<span class="sourceLineNo">333</span>            this.e = e;<a name="line.333"></a>
<span class="sourceLineNo">334</span>        }<a name="line.334"></a>
<span class="sourceLineNo">335</span><a name="line.335"></a>
<span class="sourceLineNo">336</span>        @Override<a name="line.336"></a>
<span class="sourceLineNo">337</span>        public Void call() throws Exception {<a name="line.337"></a>
<span class="sourceLineNo">338</span>            if (this.e != null)<a name="line.338"></a>
<span class="sourceLineNo">339</span>                throw this.e;<a name="line.339"></a>
<span class="sourceLineNo">340</span>            return null;<a name="line.340"></a>
<span class="sourceLineNo">341</span>        }<a name="line.341"></a>
<span class="sourceLineNo">342</span>    }<a name="line.342"></a>
<span class="sourceLineNo">343</span><a name="line.343"></a>
<span class="sourceLineNo">344</span>// Debug/Sanity Checking<a name="line.344"></a>
<span class="sourceLineNo">345</span><a name="line.345"></a>
<span class="sourceLineNo">346</span>    void checkStateOpen(long currentTerm, long lastIndex, long raftCommitIndex) {<a name="line.346"></a>
<span class="sourceLineNo">347</span>        assert !this.commitFuture.isCancelled();<a name="line.347"></a>
<span class="sourceLineNo">348</span>        assert this.commitFuture.isDone() == this.state.compareTo(TxState.COMPLETED) &gt;= 0;<a name="line.348"></a>
<span class="sourceLineNo">349</span>        assert this.baseTerm &lt;= currentTerm;<a name="line.349"></a>
<span class="sourceLineNo">350</span>        switch (this.state) {<a name="line.350"></a>
<span class="sourceLineNo">351</span>        case EXECUTING:<a name="line.351"></a>
<span class="sourceLineNo">352</span>        case COMMIT_READY:<a name="line.352"></a>
<span class="sourceLineNo">353</span>            assert this.commitTerm == 0;<a name="line.353"></a>
<span class="sourceLineNo">354</span>            assert this.commitIndex == 0;<a name="line.354"></a>
<span class="sourceLineNo">355</span>            break;<a name="line.355"></a>
<span class="sourceLineNo">356</span>        case COMMIT_WAITING:<a name="line.356"></a>
<span class="sourceLineNo">357</span>            assert this.commitTerm &gt;= this.baseTerm;<a name="line.357"></a>
<span class="sourceLineNo">358</span>            assert this.commitTerm &lt;= currentTerm;<a name="line.358"></a>
<span class="sourceLineNo">359</span>            assert this.commitIndex &gt;= this.baseIndex;                                      // equal implies a read-only tx<a name="line.359"></a>
<span class="sourceLineNo">360</span>            assert this.commitIndex &gt; this.baseIndex || this.view.getWrites().isEmpty();<a name="line.360"></a>
<span class="sourceLineNo">361</span>            break;<a name="line.361"></a>
<span class="sourceLineNo">362</span>        case COMPLETED:<a name="line.362"></a>
<span class="sourceLineNo">363</span>            assert this.commitFuture.isDone();<a name="line.363"></a>
<span class="sourceLineNo">364</span>            assert this.commitTerm == 0 || this.commitTerm &gt;= this.baseTerm;<a name="line.364"></a>
<span class="sourceLineNo">365</span>            assert this.commitIndex == 0 || this.commitIndex &gt;= this.baseIndex;<a name="line.365"></a>
<span class="sourceLineNo">366</span>            assert this.commitTerm &lt;= currentTerm;<a name="line.366"></a>
<span class="sourceLineNo">367</span>            break;<a name="line.367"></a>
<span class="sourceLineNo">368</span>        case CLOSED:<a name="line.368"></a>
<span class="sourceLineNo">369</span>        default:<a name="line.369"></a>
<span class="sourceLineNo">370</span>            assert false;<a name="line.370"></a>
<span class="sourceLineNo">371</span>            break;<a name="line.371"></a>
<span class="sourceLineNo">372</span>        }<a name="line.372"></a>
<span class="sourceLineNo">373</span>    }<a name="line.373"></a>
<span class="sourceLineNo">374</span>}<a name="line.374"></a>
<span class="sourceLineNo">375</span><a name="line.375"></a>




























































</pre>
</div>
</body>
</html>
